Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
نویسنده
چکیده
We advocate the use of the Maude term rewriting language and its supporting tools for prototyping, model-checking, and testing agent programming languages and agent programs. One of the main advantages of Maude is that it provides a single framework in which the use of a wide range of formal methods is facilitated. We use the agent programming language BUpL (Belief Update programming Language) for illustration. M.B. van Riemsdijk Delft University of Technology, The Netherlands e-mail: [email protected] L. Astefanoaei CWI (Centrum voor Wiskunde en Informatica), The Netherlands e-mail: L.Astefanoaei@cwi. nl F. de Boer CWI (Centrum voor Wiskunde en Informatica), The Netherlands e-mail: [email protected] M. Dastani et al. (eds.), Specification and Verification of Multi-agent Systems, 255 DOI 10.1007/978-1-4419-6984-2 9, c © Springer Science+Business Media, LLC 2010 256 M.B. van Riemsdijk, L. Aştefănoaei, and F.S. de Boer
منابع مشابه
Correctness and Verification of Hardware Systems Using Maude
We consider models of hardware systems, within a welldeveloped set of mathematical tools based on an equational, algebraic model. We implement these tools using Maude, an equational, algebraic language with strong meta-language tools and an efficient term rewriting implementation. Maude has the same mathematical basis as the existing formal tools and it is fast. We consider the process of verif...
متن کاملTransforming Information in RDF to Rewriting Logic
RDF looks like the first step to build the Semantic Web vision. Our long-term goal is to have a sound way to verify and validate the semantic web interactions that applications and agents may develop in a distributed environment. The first step for reaching this goal is to provide a useful semantic support to RDF itself. Based on this formal support, properties may be analyzed, as well as trans...
متن کاملAn Object-Oriented Algebraic Steam-Boiler Control Specification
Abstrac t . In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented. The solution is written in Timed Maude. Timed Maude is a specification language under development where the static parts of the specified system are described by equational specifications, whereas the behaviour of a process is described by timed term rewriting. Timed Maude is ...
متن کاملA Formal Framework Supporting the Specification of the Interactions between Agents
In this paper we present a formal framework supporting the translation of interactions between agents (the interactions are described with the help of the RCA formalism) in a Maude specification. Based on rewriting logic, the formal and object-oriented language Maude supports formal specification and programming for a wide range of applications. The main motivations of our work are essentially:...
متن کاملA Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an important characteristic of multi-agent systems (MAS). The usual approaches to model agents’ interactions consist of describing them as protocols [Hug04]. In the literature, several representation formalisms of agents’ interact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010